document.write (" 12380 ");