document.write (" 13420 ");