document.write (" 12086 ");