document.write('0456\n');