document.write (" 12028 ");