document.write (" 11872 ");