document.write (" 20345 ");