document.write (" 12820 ");