document.write (" 40872 ");