document.write (" 25972 ");