document.write('380912\n');