document.write (" 10572 ");