document.write (" 12030 ");