document.write('0748\n');