document.write (" 12320 ");