document.write (" 7495 ");