/** * Created by Administrator on 2018/7/20. */ function my$(id) { return document.getElementById(id); };