document.write('7506')