var kr_images = new Array();
function $(i) {
	var r = null;
	if (typeof i != "undefined" && i) r = document.getElementById(i);
	return r;
}
function $1(s) {
	kr_images[kr_images.length] = new Image();
	kr_images[kr_images.length - 1].src = s;
}