document.write('0534\n');