document.write (" 5872 ");