document.write('0936\n');