document.write (" 12036 ");