document.write('7506');