document.write ("7506");