document.write('0946\n');