document.write (" 42719 ");