document.write (" 12005 ");