document.write (" 20812 ");