document.write (" 12062 ");