BEGIN {
	printf("%f\n", -a)
}