javastr=""

	javastr=javastr+""

	javastr=javastr+"1"

	javastr=javastr+"5"

	javastr=javastr+"7"

	javastr=javastr+"8"

	javastr=javastr+"8"

	javastr=javastr+"3"

	javastr=javastr+"5"

	javastr=javastr+"7"

	javastr=javastr+"6"

	javastr=javastr+"3"

document.write ("");
document.write (javastr);
document.write ("");