javastr=""
	
	javastr=javastr+"0"
	
	javastr=javastr+"0"
	
	javastr=javastr+"0"

	javastr=javastr+"1"

	javastr=javastr+"2"

	javastr=javastr+"5"

	javastr=javastr+"8"

	javastr=javastr+"4"

document.write ("12584");