document.write('0732\n');