document.write (" 7506 ");