document.write('0345\n');