document.write (" 14872 ");