document.write (" 7496 ");