The head of a whale is six feet long; his tail is as long as his head and half his body, and his body is half of his whole length. How long is the whale?