document.write (" 12065 ");