document.write (" 6275 ");