document.write (" 4972 ");