document.write (" 7672 ");