document.write (" 5972 ");