document.write('0374\n');