document.write (" 10422 ");