document.write('0344\n');