document.write (" 8872 ");